
import org.gjt.sp.jedit.EditPlugin;

public class ErlangToolsPlugin extends EditPlugin {
	public static final String NAME = "erlang-tools";
	public static final String OPTION_PREFIX = "plugin.erlang-tools.";
}
